#include <stdarg.h>
#include <stdio.h>

#define PRINT(FORMAT, VALUE) printf("The value of " #VALUE " is " FORMAT "\n", VALUE)
int main()
{
    int x = 10;
    PRINT("%d", x + 3);
    return 0;
}
